Wolfgang Schreiner: tìm kiếm trên Z-Library

Truy cập tự do vào tri thức và văn hóa.

Don't use scam websites

Các bộ lọc được sử dun

Tìm chính xác từ

Tìm chính xác từ

Sách (16)
Phổ biến
- Sắp xếp theo×
- Phổ biến
- Phù hợp nhất
- Đangđược bổ sung
- Theo tên (A-Z)
- Theo tên (Z-A)
- Theo năm
- Kích thước file ↓
- Kích thước file ↑
Danh sách
- Danh sách
- Bảng

1

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Wolfgang Schreiner

Năm:

2021

Ngôn ngữ:

english

File:

PDF, 10.80 MB

5.0 / 5.0

english, 2021

2

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Wolfgang Schreiner

Năm:

2021

Ngôn ngữ:

english

File:

EPUB, 93.67 MB

0 / 0

english, 2021

3

Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Wolfgang Schreiner

Năm:

2023

Ngôn ngữ:

english

File:

PDF, 4.14 MB

0 / 5.0

english, 2023

4

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Wolfgang Schreiner

Năm:

2021

Ngôn ngữ:

english

File:

PDF, 10.80 MB

0 / 0

english, 2021

5

Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Springer Nature

Wolfgang Schreiner

Năm:

2023

Ngôn ngữ:

english

File:

EPUB, 86.96 MB

0 / 0

english, 2023

6

Hagenberg Research

Hagenberg Research

Springer-Verlag Berlin Heidelberg

Bruno Buchberger (auth.), Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger (

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 12.77 MB

0 / 5.0

english, 2009

7

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Wolfgang Schreiner

Năm:

2021

Ngôn ngữ:

english

File:

EPUB, 93.67 MB

0 / 0

english, 2021

8

Jüdische Schriften aus hellenistisch-römischer Zeit. Lieferung 1 Die griechische Baruch-Apokalypse. Das Apokryphon Ezechiel: Band V: Apokalypsen, Lieferung 1

Jüdische Schriften aus hellenistisch-römischer Zeit. Lieferung 1 Die griechische Baruch-Apokalypse. Das Apokryphon Ezechiel: Band V: Apokalypsen, Lieferung 1

Gütersloher Verlagshaus

Wolfgang Hage (editor), Karl-Gottfried Eckart (editor), Werner Georg Kümmel (editor), Christian Habicht (editor), Otto Kaiser (editor), Otto Plöger (editor), Josef Schreiner (editor)

Năm:

2019

Ngôn ngữ:

german

File:

PDF, 4.08 MB

0 / 0

german, 2019

9

Jüdische Schriften aus hellenistisch-römischer Zeit. Lieferung 3 Die Elia-Apokalypse: Band V: Apokalypsen, Lieferung 3

Jüdische Schriften aus hellenistisch-römischer Zeit. Lieferung 3 Die Elia-Apokalypse: Band V: Apokalypsen, Lieferung 3

Gütersloher Verlagshaus

Wolfgang Schrage (editor), Werner Georg Kümmel (editor), Christian Habicht (editor), Otto Kaiser (editor), Otto Plöger (editor), Josef Schreiner (editor)

Năm:

2019

Ngôn ngữ:

german

File:

PDF, 8.74 MB

0 / 0

german, 2019

10

Hagenberg research

Hagenberg research

Springer-Verlag Berlin Heidelberg

Bruno Buchberger (auth.), Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger (

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 12.62 MB

0 / 0

english, 2009

11

Lasers in the Conservation of Artworks: LACONA VI Proceedings, Vienna, Austria, Sept. 21–25, 2005

Lasers in the Conservation of Artworks: LACONA VI Proceedings, Vienna, Austria, Sept. 21–25, 2005

Springer-Verlag Berlin Heidelberg

John F. Asmus (auth.), Mag Johann Nimmrichter, Professor Wolfgang Kautek, Professor Manfred Schreiner (eds.)

Năm:

2007

Ngôn ngữ:

english

File:

PDF, 15.58 MB

0 / 0

english, 2007

12

Hagenberg research

Hagenberg research

Springer-Verlag Berlin Heidelberg

Bruno Buchberger (auth.), Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger (

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 10.74 MB

0 / 0

english, 2009

13

Lasers in the Conservation of Artworks: LACONA VI Proceedings, Vienna, Austria, Sept. 21–25, 2005

Lasers in the Conservation of Artworks: LACONA VI Proceedings, Vienna, Austria, Sept. 21–25, 2005

Springer-Verlag Berlin Heidelberg

John F. Asmus (auth.), Mag Johann Nimmrichter, Professor Wolfgang Kautek, Professor Manfred Schreiner (eds.)

Năm:

2007

Ngôn ngữ:

english

File:

PDF, 17.56 MB

0 / 0

english, 2007

14

Multivariate Analysemethoden: Eine anwendungsorientierte Einführung

Multivariate Analysemethoden: Eine anwendungsorientierte Einführung

Springer Berlin Heidelberg

Dr. Christiane Schuchard-Ficher, Prof. Dr. Klaus Backhaus, Dipl.-Ökonom Udo Humme, Dr. Werner Lohrberg, Prof. Dr. Wulff Plinke, Dr. Wolfgang Schreiner (auth.)

Năm:

1982

Ngôn ngữ:

german

File:

PDF, 9.16 MB

0 / 0

german, 1982

15

Multivariate Analysemethoden: Eine anwendungsorientierte Einführung

Multivariate Analysemethoden: Eine anwendungsorientierte Einführung

Springer Berlin Heidelberg

Dr. Chr. Schuchard-Ficher, Prof. Dr. Klaus Backhaus, Dipl.-Ökonom Udo Humme, Dr. Werner Lohrberg, Prof. Dr. Wulff Plinke, Dr. Wolfgang Schreiner (auth.)

Năm:

1985

Ngôn ngữ:

german

File:

PDF, 9.16 MB

0 / 0

german, 1985

16

Multivariate Analysemethoden: Eine anwendungsorientierte Einführung

Multivariate Analysemethoden: Eine anwendungsorientierte Einführung

Springer Berlin Heidelberg

Dr. Christiane Schuchard-Ficher, Prof. Dr. Klaus Backhaus, Dipl.-Ökonom Udo Humme, Dr. Werner Lohrberg, Dr. Wulff Plinke, Dipl.-Ökonom Wolfgang Schreiner (auth.)

Năm:

1980

Ngôn ngữ:

german

File:

PDF, 8.31 MB

0 / 0

german, 1980